PUZZ: ACTORS: ACTORS0: ¬(Jack=Jerry)
        ACTORS1: ¬(Jack=Jim)
        ACTORS2: ¬(Jack=Joe)
        ACTORS3: ¬(Jerry=Jim)
        ACTORS4: ¬(Jerry=Joe)
        ACTORS5: ¬(Jim=Joe)
        ACTORS6: ¬(banker=dentist)
        ACTORS7: ¬(banker=doctor)
        ACTORS10: ¬(banker=lawyer)
        ACTORS11: ¬(dentist=doctor)
        ACTORS12: ¬(dentist=lawyer)
        ACTORS13: ¬(doctor=lawyer)
        ACTORS14: Jack=banker∨(Jack=dentist∨(Jack=doctor∨Jack=lawyer))
        ACTORS15: Jerry=banker∨(Jerry=dentist∨(Jerry=doctor∨Jerry=lawyer))
        ACTORS16: Jim=banker∨(Jim=dentist∨(Jim=doctor∨Jim=lawyer))
        ACTORS17: Joe=banker∨(Joe=dentist∨(Joe=doctor∨Joe=lawyer))
      FACTS: FACTS0: ¬(Jim=dentist)
             FACTS1: ¬(Joe=dentist)
             FACTS2: ¬like(Jim,Joe)
             FACTS3: ¬like(dentist,Joe)
             FACTS4: ¬(Jack=lawyer)
             FACTS5: like(Jack,lawyer)
             FACTS6: ¬(Joe=doctor)
             FACTS7: ¬(banker=Jerry)
             FACTS10: ¬(lawyer=Jerry)
             FACTS11: like(banker,Jerry)
             FACTS12: like(lawyer,Jerry)
             FACTS13: ∀x y.(like(x,y)⊃like(y,x))